Formal Goal-based Modeling of Organizations

Each organization exists for the achievement of certain goals. To ensure continued success, the organization should monitor its performance w.r.t. these goals. Performance is often evaluated by estimating performance indicators (PIs). In most existing organization modeling approaches the relation between PIs and goals is implicit. This paper proposes a formal approach for modeling goals based on PIs and defines mechanisms for establishing goal satisfaction, which enable evaluation of organizational performance. Analysis and methodological issues related to goals are briefly discussed.